Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
251	A Generic H SKELL, Specifically Dave Clarke and Andres L¨ oh July 11, 2002 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Data types Procedural programming languages Generic programming Functional programming List Tree traversal Skell Cons C Software engineering Computing Computer programming
252	mootools Basics Full CheatSheet for JavascriptFramework mootools rev 1.2 by mediavrog.net/blog/ Core $chk(m) Add to Reading List Source URL: mediavrog.net Language: English - Date: 2008-08-10 12:22:30 Functional languages Search algorithms Data types Error detection and correction Hash function MooTools Set ATS Computing Software engineering Computer programming
253	Exam Number: Points off 1 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-09-08 19:41:55 Procedural programming languages Data types C++ Array data type Array data structure Sorting algorithms C ALGOL 68 Comparison of Object Pascal and C Computing Software engineering Computer programming
254	The UU AG System Programming with Functions, Aspects, Attributes, and Catamorphisms Andres L¨ oh Institute of Information and Computing Science Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Data types Formal languages Functional programming Recursion Parsing Attribute grammar Algebraic data type Cons ALGOL 68 Software engineering Computer programming Computing
255	The Scala Language Specification Version 2.9 DRAFT May 24, 2011 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2011-05-25 09:15:01 Type theory Data types Functional programming Functional languages Java platform Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
256	Open data types and open functions Andres L¨ oh and Ralf Hinze July 11, 2006 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 ECL programming language Harvard University Generic programming Expr Open Formal languages Parsing Recursive ascent parser Component Pascal Computing Software Unix
257	Types in Functional Programming Languages Andres L¨oh Department of Information and Computing Sciences Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Data types Type theory Program analysis Type system Programming language Subroutine C Array data type Algorithm Software engineering Computing Computer programming
258	Expanding the Universe Andres Löh with lots of inspiration from José Pedro Magalhães and Conor McBride 23 May 2011 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Type theory Generic programming Data types Functional programming Agda Haskell Type class Dependent type Software engineering Computing Computer programming
259	Design and Implementation of Kyoto Common Lisp Taiichi YUASA Department of Information and Computer Sciences Toyohashi University of Technology Toyohashi 440, Japan 13 January 1990 Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-03-13 20:10:51 Lisp programming language Functional languages Data types Lisp Cons NIL Genera Variable Maclisp Computing Software engineering Computer programming
260	Specifying Software Behavior for Requirements and Design James KIRBY JR. Code 5542, Naval Research Laboratory 4555 Overlook Ave. SW, Washington, DC 20375, U.S. Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-11-08 11:09:14 Procedural programming languages Data types Type theory Variables Control theory Subroutine Software design C ALGOL 68 Computing Software engineering Computer programming

UPDATE